Mario Bravetti (eds.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (18)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 6.43 MB

0 / 0

english, 2005

2

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 7.24 MB

0 / 0

english, 2009

3

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

Mario Bravetti, Nadia Busi, Roberto Gorrieri (auth.), Theo Dimitrakos, Fabio Martinelli (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 4.03 MB

0 / 0

english, 2005

4

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 4.03 MB

0 / 5.0

english, 2011

5

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.51 MB

0 / 0

english, 2009

6

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 9.99 MB

0 / 5.0

english, 2009

7

Web Services and Formal Methods

Web Services and Formal Methods

Mario Bravetti Tevfik Bultan (Eds.)

Мова:

english

Файл:

AZW3 , 891 KB

0 / 4.0

english

8

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson (auth.), Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 5.53 MB

0 / 0

english, 2013

9

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 1.97 MB

0 / 0

english, 2004

10

Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)

Рік:

2006

Мова:

english

Файл:

PDF, 5.97 MB

0 / 0

english, 2006

11

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 4.26 MB

0 / 0

english, 2005

12

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 3.04 MB

0 / 0

english, 2011

13

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.04 MB

0 / 0

english, 2009

14

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 2.37 MB

0 / 0

english, 2004

15

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 7.29 MB

0 / 0

english, 2009

16

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 4.99 MB

0 / 0

english, 2009

17

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 2.58 MB

0 / 0

english, 2009

18

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 3.48 MB

0 / 0

english, 2009